Decompositions in Semirings
نویسندگان
چکیده
Abstract We prove that each element of a complete atomic $ l -semiring has canonical decomposition. also find some sufficient conditions for the decomposition to be unique are expressed by first-order sentences. As corollary, we obtain theorem Avgustinovich–Frid which claims factorial language
منابع مشابه
Primal strong co-ideals in semirings
In this paper, we introduce the notion of primal strong co-ideals and give some results involving them. It is shown thatsubtractive strong co-ideals are intersection of all primal strong co-ideals that contain them. Also we prove that the representation of strong co-ideals as reduced intersections of primal strong co-ideals is unique.
متن کاملFuzzy filters in ordered $Gamma$-semirings
We introduce the notion of ideal, prime ideal, lter, fuzzy ideal, fuzzy prime ideal, fuzzy lter of ordered $Gamma$-semiring and study their properties and relations between them. We characterize the prime ideals and lters of ordered $Gamma$-semiring with respect to fuzzy ideals and fuzzy l- ters respectively.
متن کاملTropical Semirings
It is a well-known fact that the boolean calculus is one of the mathematical foundations of electronic computers. This explains the important role of the boolean semiring in computer science. The aim of this paper is to present other semirings that occur in theoretical computer science. These semirings were baptized tropical semirings by Dominique Perrin in honour of the pioneering work of our ...
متن کاملSeparability in Domain Semirings
First, we show with two examples that in test semirings with an incomplete test algebra a domain operation may or may not exist. Second, we show that two notions of separability in test semirings coincide, respectively, with locality of composition and with extensionality of the diamond operators in domain semirings. We conclude with a brief comparison of dynamic algebras and modal Kleene algeb...
متن کاملThermodynamic Semirings
The Witt construction describes a functor from the category of Rings to the category of characteristic 0 rings. It is uniquely determined by a few associativity constraints which do not depend on the types of the variables considered, in other words, by integer polynomials. This universality allowed Alain Connes and Caterina Consani to devise an analogue of the Witt ring for characteristic one,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Siberian Mathematical Journal
سال: 2023
ISSN: ['0037-4466', '1573-9260']
DOI: https://doi.org/10.1134/s0037446623040055